docs: make GtkWidget:margin-start and margin-end clearer
authorSébastien Wilmet <swilmet@gnome.org>
Thu, 3 Jul 2014 12:08:14 +0000 (14:08 +0200)
committerSébastien Wilmet <swilmet@gnome.org>
Thu, 3 Jul 2014 12:50:22 +0000 (14:50 +0200)
commit03b4c82f77bc8fd6fee6062fc13093d3eb7e8cd5
tree9976e7e593ab7c84cce9de9c54e008a762f62826
parent196b9f8eea3f61be7635866b9d44118c5e30349f
docs: make GtkWidget:margin-start and margin-end clearer

margin-start and margin-end have been added for RTL support, see:
https://bugzilla.gnome.org/show_bug.cgi?id=710238

So those properties are used only for the horizontal direction: left or
right, not top or bottom.

https://bugzilla.gnome.org/show_bug.cgi?id=732681
gtk/gtkwidget.c